Two preservation results for countable products of sequential spaces
نویسندگان
چکیده
منابع مشابه
Two preservation results for countable products of sequential spaces
In the theory of Type Two Effectivity (Weihrauch 2000), computation on non-discrete spaces is performed by type two Turing machines, which compute with infinite words acting as names for elements of spaces. The connection between names and their associated elements is specified by a many-to-one relation called a representation. Such representations induce a topology on the named elements, namel...
متن کاملCountable Products of Spaces of Finite Sets
σn(Γ) = {x ∈ {0, 1} Γ : |supp(x)| ≤ n}. Here supp(x) = {γ ∈ Γ : xγ 6= 0}. This is a closed, hence compact subset of {0, 1}, which is identified with the family of all subsets of Γ of cardinality at most n. In this work we will study the spaces which are countable products of spaces σn(Γ), mainly their topological classification as well as the classification of their Banach spaces of continuous ...
متن کاملOn countable choice and sequential spaces
Under the axiom of choice, every first countable space is a FréchetUrysohn space. Although, in its absence even R may fail to be a sequential space. Our goal in this paper is to discuss under which set-theoretic conditions some topological classes, such as the first countable spaces, the metric spaces or the subspaces of R, are classes of Fréchet-Urysohn or sequential spaces. In this context, i...
متن کاملProducts of ¿-spaces and Spaces of Countable Tightness
In this paper, we obtain results of the following type: if /: X -» Y is a closed map and X is some "nice" space, and Y2 is a &-space or has countable tightness, then the boundary of the inverse image of each point of Y is "small" in some sense, e.g., Lindelöf or «¿¡-compact. We then apply these results to more special cases. Most of these applications combine the "smallness" of the boundaries o...
متن کاملCountable sums and products of Loeb and selective metric spaces
(a) X is said to be a Loeb space i® the family of all non-empty, closed subsets of X has a choice function. (b) X is said to be selective i® the family of all non-empty, open subsets of X has a choice function. (c) X is said to be locally compact i® each point in X has a neighborhood base consisting of compact sets. (d) X is called second countable if it has a countable base for T . (e) X is ca...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2007
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129506005895